<div>
	Defines a custom CSS style for the Separator (i.e. the &lt;hr/&gt; tag).
	If empty, "Global separator style" is used, as configured by an administrator in Jenkins global configuaration.
</div>
